1. Accessible categories: the foundations of categorical model theory

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Model theory,، Categories )Mathematics(,، Toposes

رده :
QA
9
.
7
.
M35
1989

2. Accessible categories : the foundations of categorical model theory

المؤلف:

المکتبة: (طهران)

موضوع: ، Model theory,، Categories )Mathematics(,، Toposes

رده :
QA
9
.
7
.
M25

3. First order categorical logic : model-theoretical methods in the theory of topoi and related categories

المؤلف:

المکتبة: (طهران)

موضوع: ، Model theory,، Categories )Mathematics(,، Toposes

رده :
QA
9
.
7
.
M3
1977

4. First order categorical logic: model-theoretical methods in the theory of topoi and related categories

المؤلف:

المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع: ، Model theory,، Categories )Mathematics(,، Toposes

رده :
QA
3
.
L28
no
.
611

5. First order categorical logic: model-theorical methods in the theory of topoi and related categories

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Model theory,، Categories )Mathematics(,، Toposes

رده :
QA
3
.
L28
no
.
611

6. Forcing and classifying topoi /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Categories (Mathematics),Forcing (Model theory),Toposes

رده :
QA169
.
A57
no
.
295